Testing with Axioms in C++ 2011
نویسندگان
چکیده
Unit testing is an important part of modern software development, where individual code units are tested in isolation. Such tests are typically case-based, checking a likely error scenario or an error that has previously been identified and fixed. Coming up with good test cases is challenging, particularly when testing generic code, and focusing on individual tests can distract from creating tests that cover the full functionality. Concepts provide a generic way of describing code interfaces for generic code. Together with axioms, program behaviour can be specified algebraically in a formal or semi-formal way. In this paper we show how concepts and axioms can be expressed in standard C++ 2011, and explore how to generate generic unit tests, by treating the axioms as code to be evaluated with test data. We also show a generic way to generate test data for axiom-based testing in C++ 2011.
منابع مشابه
BASE AXIOMS AND SUBBASE AXIOMS IN M-FUZZIFYING CONVEX SPACES
Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...
متن کاملReusability and Adaptivity of a Web-based Boolean Axioms Application
A Web-based application, called Virtual Instrument, concerning Boolean axioms, is presented in the article. The instrument can be used for self-education and for self-testing, both in three languages: Bulgarian, German and English. In the self-education mode it possesses adaptivity – the process of self-education last shorter, when the user knows more and learns quickly and last longer, if the ...
متن کاملThe Money Pump as a Measure of Revealed Preference Violations
We introduce a measure of the severity of violations of the revealed preference axioms, which we call the money pump index (MPI). The measure is based on the idea that a consumer who violates the axioms is subject to being exploited as a money pump. The MPI has a simple interpretation as the certain dollar amount that can be extracted from a consumer who behaves irrationally. We carry out an em...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Object Technology
دوره 10 شماره
صفحات -
تاریخ انتشار 2011